Author: Annabelle McIver

Author's info and books

Information about author Annabelle McIver from several data sources.

Author Search

Search for any author

AI-generated bio of "Annabelle McIver":


Books Results

Source: The Open Library

Annabelle McIver Books

Books writen by author Annabelle McIver from The Open Library

1Abstraction, refinement and proof for probabilistic systems

By

Book's cover

“Abstraction, refinement and proof for probabilistic systems” Metadata:

  • Title: ➤  Abstraction, refinement and proof for probabilistic systems
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2004
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: Unclassified

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Abstraction, refinement and proof for probabilistic systems at online marketplaces:


    2Quantitative Evaluation of Systems

    By

    Book's cover

    “Quantitative Evaluation of Systems” Metadata:

    • Title: ➤  Quantitative Evaluation of Systems
    • Authors:

    Access and General Info:

    • First Year Published: 2018
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Quantitative Evaluation of Systems at online marketplaces:


    3Formal Methods – The Next 30 Years

    By

    Book's cover

    “Formal Methods – The Next 30 Years” Metadata:

    • Title: ➤  Formal Methods – The Next 30 Years
    • Authors:

    Access and General Info:

    • First Year Published: 2019
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Formal Methods – The Next 30 Years at online marketplaces:


    4The Science of Quantitative Information Flow

    By

    Book's cover

    “The Science of Quantitative Information Flow” Metadata:

    • Title: ➤  The Science of Quantitative Information Flow
    • Authors: ➤  

    Access and General Info:

    • First Year Published: 2020
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find The Science of Quantitative Information Flow at online marketplaces: